Parametric Types in Java { A Look At GenericJava
نویسنده
چکیده
Sun is currently evaluating a number of proposals for adding parametric types to the Java programming language. This paper presents some experiences with types and type safety in the context of C, C++, and Java, and provides some opinions on GenericJava, the leading proposal for parametric types in Java.
منابع مشابه
Sandifish (Holothuria scabra) ameliorates aging in menopausal women by increasing estradiol hormones
Introduction: Sandfish (Holothuria scabra) is a marine species generally sold as a raw material that has been dried even though the meat contains steroid hormone with high economic value, which has the potential to become a source of safe natural steroid hormone. This study was aimed to look at the potency of sandfish as an anti-aging for menopausal women. Sandfish could become a source of natu...
متن کاملOn Variance-Based Subtyping for Parametric Types
We develop the mechanism of variant parametric types, inspired by structural virtual types by Thorup and Torgersen, as a means to enhance synergy between parametric and inclusive polymorphism in object-oriented languages. Variant parametric types are used to control both subtyping between different instantiations of one generic class and the visibility of their fields and methods. On one hand, ...
متن کاملTransfer Report Wildcards, Variance and Virtual Classes
Wildcards are used in Java to soften the mismatch between parametric polymorphism (generics) and subtype polymorphism (inheritance). Java with wildcards has not been proven type sound (unlike generics) and so may include security holes that could affect nearly every program written in Java in the last few years (since wildcards are used extensively throughout the Java libraries). The bulk of th...
متن کاملMultiJava, JML, and Generics
The goal of this semester project is to extend the already existing support for generics in the MultiJava compiler by implementing special features of Java generics on top of it, namely wildcards and raw types, while also making the necessary modifications to JML. To that end, we will give a brief overview of Java generics and describe the main design decisions behind its specification before p...
متن کاملA Statically Safe Alternative to Virtual Types
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We suggest a variant of virtual types which has similar expressiveness, but supports safe static type checking. This results in a language in which both parametric types and virtual types are well-integrated, and which is ...
متن کامل